\begin{tabbing}
d{-}comp{-}partial{-}world($D$;$v$;${\it sched}$;${\it dec}$;$t$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$d{-}partial{-}world($D$;CV(d{-}comp($D$;$v$;${\it sched}$;${\it dec}$));$t$;$\lambda$$i$.\=if $t$=$_{2}$0$\rightarrow$ $\lambda$$x$.d{-}m($D$; $i$).init($x$)?$v$($i$,$x$)\+
\\[0ex]else 1of(\=CV(d{-}comp($D$;$v$;${\it sched}$;${\it dec}$))\+
\\[0ex]($t$$-$1
\\[0ex],$i$)) fi)
\-\-
\end{tabbing}